linear inequality with one unknown